261. Logical foundations of computer science : third international symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Computer science - Congresses , Logic, Symbolic and mathematical - Congresses

رده :
QA
75
.
5
.
L64
1994

262. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses

رده :
Q
334
.
E985
1990

263. Logics in artificial intelligence :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Artificial intelligence.,Logic, Symbolic and mathematical.

رده :
Q334

264. Logics in artificial intelligence

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)

موضوع : Artificial intelligence- Congresses,Logic, Symbolic and mathematical- Congresses

رده :
Q
,
334
,.
E985

265. Logics in artificial intelligence

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.

266. Logics in artificial intelligence

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence, Congresses,Logic, Symbolic and mathematical, Congresses

رده :
Q334
.
J45
2012eb

267. Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October, 1998 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1489

268. Logics in artificial intelligence : European Workshop, JELIA 2000, Malaga, Spain, September 29 - October 2, 2000 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1919

269. Logics in artificial intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
3229

270. Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
2424

271. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Computer programs-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
QA
76
.
6
.
L5855
1985

272. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
193

273. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L4
v
.
193

274. Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع : Computer programs - Congresses,Logic, symbolic and mathematical - Congresses

رده :
QA76
.
6
.
L5855
1985

275. Mathematical logic and applications: Proceedings of the Logic Meeting held in Kyoto, 1987

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Logic, Symbolic and mathematical

رده :
QA
3
.
L28
no
.
1388

276. Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987

پدیدآورنده :

موضوع : Logic, Symbolic and mathematical - Congresses

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

277. Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic, Symbolic and mathematical

رده :
QA
3
.
L28
Vol
.
1388

278. Mathematical logic and applications. proceedings of the Logic Meeting held in Kyoto, 1987,Lecture notes in mathematics

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Logic, Symbolic and mathematical, Congresses

رده :
QA
3
.
M3
1989

279. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory

رده :
QA
9
.
I56
1968

280. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Logic, symbolic and mathematical-- Congresses

رده :
QA
9
.
I54
1968